logic n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理性。 3. 威力,压力,强制(力)。 deductive [inductive] logic演绎[归纳]逻辑。 dialectical logic辩证逻辑。 formal logic形式逻辑。 a gangster logic强盗逻辑,恶徒的歪理[言行]。 mathematical logic数理逻辑。 pure logic纯粹逻辑。 He is not governed by logic. 他没有逻辑性。 That is not logic. 那不合逻辑。 the irresistible logic of facts 事实的不可抗拒的威力。 the logic of events [war] 事件[战争]的强制力。 His logic is shaky. 他的推理站不住脚。 chop logic 诡辩。
base n. 1.基底,基,根基,底座;底层,底子;(纪念碑等的)基址;(山)麓。 2.【军事】基地,根据地。 3.根据,基础。 4.【化学】碱;【纺织;印染】(染色)固色剂;媒染剂;【药学】主剂。 5.【数学】底,底面,底边,基点,基线;基数。 6.【体育】起点,出发线;【棒球】垒;目标。 7.【语言学】语根;词干。 an air base 空军基地。 the economic base 经济基础。 first [second, third] base【棒球】一[二、三]垒。 a base angle 底角。 a bayonet base 卡口灯座。 a code base (信息论)编码基数。 a prisoner's base捉迷藏。 base of operation 作战根据地。 at the base of 在…之麓;在…的基部。 change one's base 〔口语〕撤退。 get to first base 取得成功的。 off base 〔口语〕 1. 大错特错地。 2. 冷不防地。 3. 〔美俚〕傲慢的。 vt. 把…的基础放在(…)上 (on upon), 以(…)作为…的根据。 base one's arguments upon facts 以事实作论辩根据。 base one's hopes on …把希望寄托在…上。 adj. -less 无基础的,无根据的;无原由的。 adj. 1.贱的,劣的;卑下的,低级的;卑鄙的。 2.(子女)庶出的;私生的。 3.(语言)不纯正的,粗俗的。 4.【音乐】低音的。 n. 【音乐】低音;低音部。 n. -ness (品质等的)恶劣;下贱,卑鄙。
base on 把……基于,以……为根基; 本该如此should; 建立在什么基础之上; 依据/基于; 以为根据; 以为基础; 在…基础上
Study of flexible logic based on universal logic 基于泛逻辑学的柔性命题逻辑研究
Proving several theorems in first order logic based on back - and - forth method 向前向后法证明一阶逻辑的几个定理
The teaching logic base and structural framework of modern long - distance higher education 现代远程高等教育教学的逻辑起点和结构框架
Generalized tautologies theory of universal logic based on 0 - level universal and operators 基于零级泛与运算的泛逻辑中广义重言式理论
Semantic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蕴涵代数的格值命题逻辑语义系统
Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra 基于有限格蕴涵代数的格值命题逻辑语法系统
However , this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification 然而,传统的模型检测是基于时态逻辑的,它并不支持知识逻辑规范的验证。
Pattern centers around the simple concept of routing requests to specific pieces of business logic based on some defined criteria 模式是向基于既定标准的具体商业逻辑片断发送请求这个简单概念的核心内容。
The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter - examples 摘要基于一阶逻辑相关概念的内涵,结合恰当的反例,探析了一阶逻辑推理规则成立的条件。
Abstract : suggests a distributed operator logic based on evidence , which follows from the concept of relation number in the spa , and discuss its properties 文摘:根据spa中联系数的概念,提出了一个基于证据的分布算子逻辑,并讨论了其性质